Foreward: RADECS 91

[Foreward from the editor-in-chief].

Welcome to the second edition of The Social Enterprise Review! Once again, our students have written interesting opinion pieces on a variety of social enterprise topics pertaining to global development. We are pleased to feature an article from Dr. Gordon Adomdza of the Entrepreneurship and Innovation group at Northeastern University and hope to attract additional contributors from outside the ...

The mystery of yawning in physiology and disease. Foreward.

Schoonschip '91

The symbolic manipulation program Schoonschip is being made freely available for a number of computers with Motorola 680x0 cpu’s. It can run on machines with relatively modest memory and disk resources, and is designed to run as fast as possible given the host constraints. Memory and disk utilization can be adapted to tune performance. Recently added capabilities include a system for efficient ...

Isabelle-91

Min introduces the type form (of object-formulae) and the infix constant −→ (for objectimplication). The constant [[ ]] maps form to the predefined type prop of meta-logic propositions. The proposition [[P ]] should be read as “the formula P is true”; we usually distinguish object-level formulae (form) from meta-level formulae (prop). In practice the brackets can be dropped; parser and pretty-p...

85 - 91 Nzira Lukwa.pmd

Mosquito repellent plants are used in the rural areas of Zimbabwe despite the fact that very few of them have been biologically evaluated. Leaves of the plant Lippia javanica, were collected from Mumurwi village, Zimbabwe and evaluated for repellency against laboratory reared Aedes aegypti mosquitoes. Major plant compounds were identified using Thin Layer Chromatography (TLC) and Mass Spectrome...